Proving A Tautology By Using Logical Equivalences